D. Willard, "A generalization of the Second Incompleteness Theorem and some exceptions to it" - Internet Explorer 2.0

D. Willard, "A generalization of the Second Incompleteness Theorem and some exceptions to it"